спецификация наивысшего уровня

(непроцедурное описание поведения системы на абстрактном уровне) top-level specification